Finite-state machine - PDFSEARCH.IO - Document Search Engine

Finite-state machine
Results: 655

#	Item
381	Hybrid System Modeling: Operational Semantics Issues OMG Technical Meeting Feb. 4, 2004 Anaheim, CA, USA Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 2004-02-06 20:38:42 Theoretical computer science Science Differential equations Dynamical systems Diagrams Finite-state machine Actor model Hybrid system SIGNAL Models of computation Computing Automata theory
382	Computational Implementation of Non-Concatenative Morphology Yael Cohen-Sygal Dale Gerdemann Shuly Wintner Dept. of Computer Science Seminar f¨ur Sprachwissenschaft Dept. of Computer Science Add to Reading List Source URL: cs.haifa.ac.il Language: English - Date: 2003-04-01 02:06:48 Applied mathematics Computer science Mathematics Theoretical computer science Finite-state machine Automata theory Models of computation Formal languages
383	Speech-input multi-target machine translation Alicia P´erez, M. In´es Torres M. Teresa Gonz´alez, Francisco Casacuberta Dep. of Electricity and Electronics Dep. of Information Systems and Computation University of th Add to Reading List Source URL: www.statmt.org Language: English - Date: 2007-05-18 09:55:50 Machine translation Artificial intelligence Linguistics Artificial intelligence applications Translation Speech recognition Speech Translation Statistical machine translation Finite-state machine Computational linguistics Science Statistical natural language processing
384	Microsoft Word - fpga34-minkovich.docx Add to Reading List Source URL: cadlab.cs.ucla.edu Language: English - Date: 2009-01-08 00:10:52 Electronic design automation Electronic design Integrated circuits Finite-state machine Logic simulation Field-programmable gate array Placement Logic synthesis Clock signal Electronic engineering Electronics Digital electronics
385	NuSMV 2.1 User Manual Roberto Cavada, Alessandro Cimatti, Emanuele Olivetti, Marco Pistore, and Marco Roveri IRST - Via Sommarive 18, 38055 Povo (Trento) – Italy Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2002-07-09 12:14:57 Software Model checking Electromagnetism Boolean algebra Finite-state machine Inverter Semaphore Model checkers NuSMV Electrical engineering
386	Motion-based Approach for BBC Rushes Structuring and Characterization Chong-Wah Ngo, Zailiang Pan Department of Computer Science City University of Hong Kong Add to Reading List Source URL: www-nlpir.nist.gov Language: English - Date: 2005-12-02 11:01:47 Support vector machine Visual arts Mathematical sciences Cinematography Panning Finite-state machine
387	equivalent to Turing’s finite-state machine with an infinite tape and a finite symbol set, and that does computation. In 1943, Warren McCulloch and Walter Pitts2 noted the “all-or-none” nature of the firing of neur Add to Reading List Source URL: www.gatsby.ucl.ac.uk Language: English - Date: 2012-02-29 11:31:52 Computational neuroscience Theoretical computer science Alan Turing Artificial intelligence Philosophy of mind Strong AI Turing machine Brain Neural network Science Knowledge Ethology
388	1 New Hardware Implementations of WG(29, 11) and WG-16 Stream Ciphers Using Polynomial Basis Hayssam El-Razouk, Arash Reyhani-Masoleh, and Guang Gong Add to Reading List Source URL: cacr.uwaterloo.ca Language: English - Date: 2014-01-19 20:50:57 Pseudorandom number generators Binary arithmetic Linear feedback shift register SNOW Finite-state machine A5/1 Polynomial basis Advanced Encryption Standard Inner product space Cryptography Stream ciphers Algebra
389	Microsoft PowerPoint - wang Add to Reading List Source URL: www.kiss.caltech.edu Language: English - Date: 2012-08-03 14:37:46 Generative South Station Massachusetts Public transport Automata theory Models of computation Finite-state machine
390	LEARNING SEQUENCE KERNELS Corinna Cortes Mehryar Mohri∗ Afshin Rostamizadeh∗ Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2009-11-02 10:14:29 Statistical classification Operator theory Linear algebra Non-parametric statistics Support vector machine String kernel Finite state transducer Kernel Symbol Statistics Algebra Mathematics

UPDATE